GermanWikipedia - /page/entry.mu

<!DOCTYPE html>

<title>Reductio ad absurdum</title>

</head>

<h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">Reductio ad absurdum</span></h1>

</header>

</div>

<div id="mw-content-text" class="mw-body-content mw-content-ltr" lang="de" dir="ltr"><div class="mw-content-ltr mw-parser-output" lang="de" dir="ltr"><p>Die <b>Reductio ad absurdum</b> (<a href="Latein" title="Latein">lateinisch</a> für „Zurückführung auf das widrig Klingende, Ungereimte, Unpassende, Sinnlose“) ist eine <a href="Schlussregel" title="Schlussregel">Schlussfigur</a> und <a href="Beweistechnik" class="mw-redirect" title="Beweistechnik">Beweistechnik</a> in der <a href="Logik" title="Logik">Logik</a>. Bei der Reductio ad absurdum wird eine <a href="Aussage_(Logik)" title="Aussage (Logik)">Aussage</a> <a href="Falsifizierung" class="mw-redirect" title="Falsifizierung">widerlegt</a>, indem gezeigt wird, dass aus ihr ein logischer <a href="Kontradiktion" title="Kontradiktion">Widerspruch</a> oder ein Widerspruch zu einer bereits anerkannten <a href="These" title="These">These</a> folgt.

</p><p>Als Beweistechnik ist die reductio ad absurdum unter der Bezeichnung „<b>indirekter Beweis</b>“, „<b>Widerspruchsbeweis</b>“ oder „<b>Beweis durch Widerspruch</b>“ bekannt. Dieser indirekte <a href="Beweis_(Logik)" title="Beweis (Logik)">Beweis</a> ist dadurch gekennzeichnet, dass man die zu beweisende Aussage nicht direkt herleitet, sondern dass man ihr <a href="Kontradiktion" title="Kontradiktion">kontradiktorisches</a> Gegenteil (das heißt die Annahme, dass die Aussage nicht zutreffe) widerlegt. In der klassischen, <a href="Zweiwertige_Logik" class="mw-redirect" title="Zweiwertige Logik">zweiwertigen Logik</a>, in der jede Aussage entweder wahr oder falsch ist, ist mit diesem Widerlegen des Gegenteils einer Aussage gezeigt, dass die betroffene Aussage korrekt ist.

</p>

<div class="mw-heading mw-heading2"><h2 id="Intuitive_Erläuterung_und_Rechtfertigung"><span id="Intuitive_Erl.C3.A4uterung_und_Rechtfertigung"></span>Intuitive Erläuterung und Rechtfertigung</h2></div>

<p>Ein einfaches Beispiel: Um zu zeigen, dass nicht alle Menschen <a href="Griechen" title="Griechen">Griechen</a> sind, wird zunächst angenommen, dass alle Menschen Griechen seien. Aus dieser Annahme folgt zum Beispiel, dass <a href="Marcus_Tullius_Cicero" title="Marcus Tullius Cicero">Cicero</a> ein Grieche war. Es ist aber bekannt, dass Cicero kein Grieche war (sondern <a href="R%C3%B6mer" class="mw-redirect" title="Römer">Römer</a>). Dass Cicero aber zugleich sowohl ein Grieche als auch kein Grieche war, ist ein <a href="Satz_vom_Widerspruch" title="Satz vom Widerspruch">Widerspruch</a>. Damit wurde die Aussage, dass alle Menschen Griechen sind, auf einen Widerspruch zurückgeführt (reductio ad absurdum) und so gezeigt, dass nicht alle Menschen Griechen sind.

</p><p>Ein weniger schlichtes Beispiel für eine Reductio ad absurdum – und vielleicht neben dem <a href="Beweis_der_Irrationalit%C3%A4t_der_Wurzel_aus_2_bei_Euklid" title="Beweis der Irrationalität der Wurzel aus 2 bei Euklid">Beweis der Irrationalität der Wurzel aus 2 bei Euklid</a> das bekannteste Beispiel überhaupt für eine solche – ist eine Beweisvariante zum <a href="Satz_des_Euklid" title="Satz des Euklid">Satz des Euklid</a>, bei der gezeigt wird, dass es keine größte <a href="Primzahl" title="Primzahl">Primzahl</a> geben kann (dass es also zu jeder Primzahl eine größere gibt), indem die Annahme, es gebe eine größte, widerlegt wird. Widerspruchsbeweise wurden häufig von Euklid benutzt und finden sich schon beim Beweis des <a href="Satz_des_Dinostratos" title="Satz des Dinostratos">Satz des Dinostratos</a>, überliefert von <a href="Pappos" title="Pappos">Pappos</a>.<sup id="cite_ref-1" class="reference"><a href="#cite_note-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup>

</p><p>Der indirekte Beweis lässt sich wie folgt intuitiv rechtfertigen: Wenn sich aus einer Annahme ein Widerspruch herleiten lässt, gilt: Wenn die Annahme <a href="Wahrheit" title="Wahrheit">wahr</a> ist, ist auch der Widerspruch wahr. Ein Widerspruch kann aber niemals wahr sein. Die Annahme kann daher nicht wahr sein, muss also falsch sein.

</p>

<div class="mw-heading mw-heading2"><h2 id="Formale_Darstellung">Formale Darstellung</h2></div>

<p>Formal lässt sich der Widerspruchsbeweis wie folgt darstellen:

</p><p>Gilt <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \Gamma \cup \{\mathrm {A} \}\vdash \mathrm {B} }">

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \Gamma \cup \{\mathrm {A} \}\vdash \mathrm {B} }</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/a1a3ae3c4b21e1fd12b8921dd0028a6a0da7d5fe.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:12.46ex; height:2.843ex;" alt="{\displaystyle \Gamma \cup \{\mathrm {A} \}\vdash \mathrm {B} }" loading="lazy"></span> und <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \Gamma \cup \{\mathrm {A} \}\vdash \neg \mathrm {B} }">

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \Gamma \cup \{\mathrm {A} \}\vdash \neg \mathrm {B} }</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/060956b29bfaa76e33a533a5d931ab84bb4a6b24.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:14.01ex; height:2.843ex;" alt="{\displaystyle \Gamma \cup \{\mathrm {A} \}\vdash \neg \mathrm {B} }" loading="lazy"></span>, dann gilt: <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \Gamma \vdash \neg \mathrm {A} }">

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \Gamma \vdash \neg \mathrm {A} }</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/37031eb010c28b5959a805dbfe27bc2ab04f77d0.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:7.457ex; height:2.176ex;" alt="{\displaystyle \Gamma \vdash \neg \mathrm {A} }" loading="lazy"></span>.

</p><p>Lies: Gilt, dass aus der Aussagenmenge <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \Gamma }">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \Gamma }</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/4cfde86a3f7ec967af9955d0988592f0693d2b19.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.453ex; height:2.176ex;" alt="{\displaystyle \Gamma }" loading="lazy"></span> zusammen mit der Aussage <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \mathrm {A} }">

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \mathrm {A} }</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/ff6366939c4ebbd4e8494d0dedc54c4b8dd7135a.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.743ex; height:2.176ex;" alt="{\displaystyle \mathrm {A} }" loading="lazy"></span> sowohl die Aussage <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \mathrm {B} }">

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \mathrm {B} }</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/93003d072991ba424a73ed1e081afe55c124b6ce.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.646ex; height:2.176ex;" alt="{\displaystyle \mathrm {B} }" loading="lazy"></span> als auch die Aussage nicht-<span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \mathrm {B} }">

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \mathrm {B} }</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/93003d072991ba424a73ed1e081afe55c124b6ce.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.646ex; height:2.176ex;" alt="{\displaystyle \mathrm {B} }" loading="lazy"></span> folgt, so folgt aus <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \Gamma }">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \Gamma }</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/4cfde86a3f7ec967af9955d0988592f0693d2b19.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.453ex; height:2.176ex;" alt="{\displaystyle \Gamma }" loading="lazy"></span> nicht-<span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \mathrm {A} }">

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \mathrm {A} }</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/ff6366939c4ebbd4e8494d0dedc54c4b8dd7135a.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.743ex; height:2.176ex;" alt="{\displaystyle \mathrm {A} }" loading="lazy"></span>.

</p><p>Dieser Zusammenhang ist im <a href="Systeme_nat%C3%BCrlichen_Schlie%C3%9Fens" title="Systeme natürlichen Schließens">Kalkül des natürlichen Schließens</a> auch als Negationseinführung bekannt.

</p>

<div class="mw-heading mw-heading2"><h2 id="Klassischer_und_intuitionistischer_Widerspruchsbeweis">Klassischer und intuitionistischer Widerspruchsbeweis</h2></div>

<p>Von der reductio ad absurdum gibt es noch eine zweite Form, die in der Auseinandersetzung zwischen <a href="Klassische_Logik" title="Klassische Logik">klassischer</a> und <a href="Intuitionismus" title="Intuitionismus">intuitionistischer</a> Logik wichtig ist:

</p><p>Gilt <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \Gamma \cup \{\neg \mathrm {A} \}\vdash \mathrm {B} }">

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \Gamma \cup \{\neg \mathrm {A} \}\vdash \mathrm {B} }</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/45722d1d21cac61bf8583c397a934cc3fb8026a0.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:14.01ex; height:2.843ex;" alt="{\displaystyle \Gamma \cup \{\neg \mathrm {A} \}\vdash \mathrm {B} }" loading="lazy"></span> und <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \Gamma \cup \{\neg \mathrm {A} \}\vdash \neg \mathrm {B} }">

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \Gamma \cup \{\neg \mathrm {A} \}\vdash \neg \mathrm {B} }</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/baf2bf083b2f67a902888d60eca1055578d82cc8.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:15.56ex; height:2.843ex;" alt="{\displaystyle \Gamma \cup \{\neg \mathrm {A} \}\vdash \neg \mathrm {B} }" loading="lazy"></span>, dann gilt: <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \Gamma \vdash \mathrm {A} }">

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \Gamma \vdash \mathrm {A} }</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/29798a43e1e13743c9ba998dcc382f49defe8e31.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:5.906ex; height:2.176ex;" alt="{\displaystyle \Gamma \vdash \mathrm {A} }" loading="lazy"></span>.

</p><p>Lies: Gilt, dass aus der Aussagenmenge <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \Gamma }">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \Gamma }</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/4cfde86a3f7ec967af9955d0988592f0693d2b19.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.453ex; height:2.176ex;" alt="{\displaystyle \Gamma }" loading="lazy"></span> zusammen mit der Aussage nicht-<span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \mathrm {A} }">

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \mathrm {A} }</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/ff6366939c4ebbd4e8494d0dedc54c4b8dd7135a.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.743ex; height:2.176ex;" alt="{\displaystyle \mathrm {A} }" loading="lazy"></span> sowohl die Aussage <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \mathrm {B} }">

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \mathrm {B} }</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/93003d072991ba424a73ed1e081afe55c124b6ce.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.646ex; height:2.176ex;" alt="{\displaystyle \mathrm {B} }" loading="lazy"></span> als auch die Aussage nicht-<span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \mathrm {B} }">

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \mathrm {B} }</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/93003d072991ba424a73ed1e081afe55c124b6ce.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.646ex; height:2.176ex;" alt="{\displaystyle \mathrm {B} }" loading="lazy"></span> folgt, so folgt aus <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \Gamma }">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \Gamma }</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/4cfde86a3f7ec967af9955d0988592f0693d2b19.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.453ex; height:2.176ex;" alt="{\displaystyle \Gamma }" loading="lazy"></span> <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \mathrm {A} }">

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \mathrm {A} }</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/ff6366939c4ebbd4e8494d0dedc54c4b8dd7135a.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.743ex; height:2.176ex;" alt="{\displaystyle \mathrm {A} }" loading="lazy"></span>.

</p><p>Der Unterschied zwischen den beiden Formen ist, dass in der ersten aus einer Aussage und einem Widerspruch auf die <a href="Negation" title="Negation">Negation</a> der Aussage geschlossen wird, während in der zweiten aus der Negation und einem Widerspruch auf die Aussage selbst geschlossen wird. Die zweite Form lässt sich auf die kurze Formel bringen: Eine Behauptung gilt als bewiesen, wenn aus ihrer Negation ein Widerspruch hergeleitet werden kann.

</p><p>Die erste Form lässt sich mittels der klassischen Negationsbeseitigung in die zweite überführen:

</p><p>Gilt <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \Gamma \vdash \neg \neg \mathrm {A} }">

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \Gamma \vdash \neg \neg \mathrm {A} }</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/88872b4312462a7c43a423b14d7ab3a2c8944dee.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:9.007ex; height:2.176ex;" alt="{\displaystyle \Gamma \vdash \neg \neg \mathrm {A} }" loading="lazy"></span>, so gilt auch: <span class="mwe-math-element mwe-math-element-inline"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \Gamma \vdash \mathrm {A} }">

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \Gamma \vdash \mathrm {A} }</annotation>

</semantics>

</math></span><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/29798a43e1e13743c9ba998dcc382f49defe8e31.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:5.906ex; height:2.176ex;" alt="{\displaystyle \Gamma \vdash \mathrm {A} }" loading="lazy"></span>.

</p><p>Da dieses Gesetz aber eben nur klassisch, nicht intuitionistisch gültig ist, ist auch die zweite Form intuitionistisch nicht allgemein gültig.

</p><p>Wahlweise kann die zweite Form auch mit dem <a href="Satz_vom_ausgeschlossenen_Dritten" title="Satz vom ausgeschlossenen Dritten">Satz vom ausgeschlossenen Dritten</a> von der ersten abgeleitet werden. Auch dieser Satz ist aber intuitionistisch nicht gültig.

</p><p>Die Ablehnung der zweiten Form des Widerspruchsbeweises hat zur Folge, dass in der intuitionistischen <a href="Mathematik" title="Mathematik">Mathematik</a> die <a href="Existenz" title="Existenz">Existenz</a> gewisser Objekte der klassischen Mathematik nicht anerkannt wird (siehe auch <a href="Konstruktive_Mathematik" class="mw-redirect" title="Konstruktive Mathematik">Konstruktivismus</a>).

</p>

<div class="mw-heading mw-heading2"><h2 id="Weblinks">Weblinks</h2></div>

<div class="sisterproject" style="margin:0.1em 0 0 0;"><div class="noviewer" style="display:inline-block; line-height:10px; min-width:1.6em; text-align:center;" aria-hidden="true" role="presentation"><span class="mw-default-size" typeof="mw:File"><span title="Wikibooks"></span></span></div><b><a href="https://de.wikibooks.org/wiki/Mathe_f%C3%BCr_Nicht-Freaks:_Direkter_und_indirekter_Beweis#Widerspruchsbeweis" class="extiw external" title="b:Mathe für Nicht-Freaks: Direkter und indirekter Beweis">Wikibooks: Mathe für Nicht-Freaks: Widerspruchsbeweis</a></b> – Lern- und Lehrmaterialien</div>

<ul><li><a href="Nicholas_Rescher" title="Nicholas Rescher">Nicholas Rescher</a>: <a rel="nofollow" class="external text" href="http://www.iep.utm.edu/r/reductio.htm">Eintrag</a> in James Fieser, Bradley Dowden (Hrsg.): <i><a href="Internet_Encyclopedia_of_Philosophy" title="Internet Encyclopedia of Philosophy">Internet Encyclopedia of Philosophy</a></i>.</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Einzelnachweise">Einzelnachweise</h2></div>

<li id="cite_note-1"><span class="mw-cite-backlink"><a href="#cite_ref-1">↑</a></span> <span class="reference-text">Ivor Bulmer-Thomas, Artikel <i>Dinostratus</i>, <a href="Dictionary_of_Scientific_Biography" title="Dictionary of Scientific Biography">Dictionary of Scientific Biography</a>, Band 4, S. 104</span>

</li>

</ol> </div><div><div class="zim-footer">

Dieser Artikel wurde von <a class="external text" title="Zuletzt bearbeitet am 2025-07-27" href="https://de.wikipedia.org/wiki/?title=Reductio_ad_absurdum&oldid=258334289">Wikipedia</a> herausgegeben. Der Text ist unter <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">Creative Commons Attribution-Share Alike 4.0</a> verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.

</div>

</div></div>

</div>

</main>

</div>

</body></html>